1. Formal methods in artificial intelligence
پدیدآورنده : Ramsay, Allan
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Methodology ، Attificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
Q
335
.
R35
1988
